منابع مشابه
Structural Contradictions
We study the relation between logical contradictions such as p ∧ ¬p and structural contradictions such as p∩ (p · q). Intuitively, we expect the two to be treated similarly, but they are not by PSL, nor by SVA. We provide a solution that treats both kinds of contradictions in a consistent manner. The solution reveals that not all structural contradictions are created equal: we must distinguish ...
متن کاملCorrecting Contradictions
This paper describes a manual investigation of the contradiction asymmetries of the SICK corpus, which is the intended testing set for a new system for natural language inference. Any system providing conceptual semantics for sentences, so that entailment-contradiction-neutrality relations between sentences can be identified, needs a baseline test set. The investigation of this test set, a part...
متن کاملA web of contradictions
We describe our use of contradictions, a concept central to a popular formulation of activity theory, to derive requirements on a new technical system to support an administrative system. Contradictions are the underlying causes of disturbances in the free operation of workplace activities. We argue and demonstrate that the resolution such contradictions can be used as the basis for the (user c...
متن کاملContradictions, objects, and belief
We show how some model-theoretical devices (local reasoning, modes of presentation, an additional accessibility relation) can be combined in first-order modal logic to formalize the consequence relation that includes de dicto and de re contradictory beliefs. Instead of special " sense objects " , appearances of objects in an agent's belief are introduced and presented as ordered pairs consistin...
متن کاملFinding Contradictions in Text
In this paper, I seek to understand the ways contradictions occur across texts and I describe a system for automatically detecting such constructions. Finding conflicting statements is foundational for text understanding, a problem which recently received a surge of interest in the computational linguistics community. Condoravdi et al. (2003) first recognized the importance of handling both ent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cornell Internation Affairs Review
سال: 2007
ISSN: 2156-0536,2156-0528
DOI: 10.37513/ciar.v1i1.322